Crash.agda:21,9-13
N !=< B
when checking that the expression zero has type F false
